simple_type_checker
