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
Remove record subexpression types
Don't put space between bracket and record fields