added some types for non terminals