A bunch of AST/Type/Symbol work.