Oops: Hole guid targets were wrong
inferredHoles: Support GetField field tag holes
Revert "inferredHoles: Support GetField field tag holes"

This reverts commit d85262aca08af68b72bd32b076a4165962fddbac.
Refactor: matchBody is more type-safe
Rules: Avoid unsafe lists
Oops: Tests were broken
Towards Tags as expressions
Towards Tags as expressions: simple type rule
Only one ChildrenToParent structure rule
Only one ParentToChildren structure rule
Towards Tags as expressions: GetField as operator on both sides
{Expression,Sugar}.GetField have record first, tag second
Reuse ParentToChildren for record field types to record type's field types
No need to copy initial stored expressions to the inferred vals, ChildrenToParent handles it
Oops: Removal of record type done in a stupid way
Rules to disallow composite non-apply expressions in Record field tags and in GetField tag
Rules: Types of record tags are of TagType. Disallow stored apply in a tag position in record.
Rules: Types of get field tags are of TagType. Disallow stored apply in a tag position in get field.