add toplevel AST node to HM
i like newlines
proper type applications