get rid of nested runTypecheck actions

- unification of records now uses fresh type variables
- but runTypecheck runs in initial state
- this thwarts generation of nice error messages alas!
comment
worklog