<!-- CONST is the constant string; rvar is for references and lvar -->
<!-- for list. -->
<!-- The attributes binder, rvar, lvar declare variables which are -->
<!-- CONST is the constant string; rvar is for references and lvar -->
<!-- for list. -->
<!-- The attributes binder, rvar, lvar declare variables which are -->