src/Cube/L2.ML

- Installed specific code generator for equality enforcing that
arguments do not have function types, which would result in
an error message during compilation.

- Added test case generators for basic types.

val L2 = simple @ [lam_bs,pi_bs];