Finished inherited constructors and addTypeCheck