Resolved some record typing issues
Saving progress
Resolving errors/non-detects in semant