I think you intended to rename this method. (Although this comment is moot if you move `Type`s to the symbol table)