removed typechecking in grammar