Running tests, fixing bugs: added IntegerType.isSubtypeOfInteger(Type).