type map now returns typedecls