Combined typeIsRecord and typeGetRecordSym, simplifying analyzerMemberBOP
Type completeness check for indexing, added to test
Combined errorNamedParamMismatch and errorParamMismatch
Have params generate symbols but throw them away - better errors
Checks for declarations of incomplete variables, params and return types