Full refal2 grammar