Towards record types support
Towards records: GUI support for empty type products
Empty record no longer conflicts (matchExpression matches it)
RecordEdit: Kind of works to edit Record types
Map.traverseWithKey to Lens.itraverse
remove redundant types in record types
fix widget/anim ids clashes
record field alignment
*Compiles with Warnings*: Rename KindPi and KindLambda to Val/Type, and use the same in records
RecordEdit: Fix invalid cursors
RecordEdit: Refactor
Fix RecordEdit alignment
More record value stuff
simplify lambda structure rule
record structure rules
Record val to type rule
record field val types are not redundant
RecordTypeToFieldTypes rule