start of type resolver to get rid of parser
replace parse_type with TypeResolver.resolve, works for basic syntax