init type system
refactoring types
refactoring
class_decl ref