partially refactor `semtypes`

[zerbina]

Summary

The idea/goal is to produce nodes instead of types for semTypeNode and most of the routines in semtypes. In short, this means that analysis of type AST stays at the AST level, instead of switching back and forth between types and AST.