refactoring: changed IntegerType and UnknownType (typevariabels) interface. Unused args in constructor removed.