core: reorg type checker module hierarchy
core: add missing sigs to checker functions
core: add type apps during makeSub to instantiate foralls
core flow: kill more type apps in flow tests