Binder: Some renames
AddNames: OldExpression,NewExpression type aliases
Only non-lambda-binder params hide the lambda
Binder: Rename
Consistent->Written anim id translation must use inferred type as source of param ids because no get fields may exist
ExpressionGUI: Renames
Generalize stdWrapPair -> stdWrapIn for any traversable
Oops: Open hole did not stdWrap itself properly
Fix yet another missing update in mkHoleResults
Smaller text: Less scaling going on