Beginning of records' support
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
Refactor pi counting
Jump to next hole in records