Working on printing on separate branch (printing)

- Got rid of naive whnf during typ_to_string
- Created normalization + printing functions
  + still not sure if they use the right normalization strategies
- Calling these new functions for typing errors
- Needed to move error.fs later in dependency order
- This compiles but is untested code
A bit more work on printing errors
Navigating normalization, chose a decent config (hopefully)
Trying out error message before and after normalization
Normalization for error messages removes all Metas
Some minimal amount of testing error messages

This is all manual, so hard to scale
Fixed bad conflict resolution when merging printing branch