Lazy list definition (not used yet).
Constraint generation for toplevel definitions.
Type scheme signatures for toplevel definitions.
Assert clauses.
Prettier README, milestones.
Toplevel definitions test clauses, complementary to assert clauses in adding constraints.