fixed type system tests