Class JvstTypeChecker