type_checker uses BplTypeError instead of SyntaxError