Add mkTypeParameter method
Add addTypeParameter & fix updateParents
Add symbol checks for type parameters
Minor tweaks