Implementing more RAII for types, freeType abolished in TypeAnalyzer, and everything seems to work with less code