minor changes to how abstract grammar is presented
moved opsem after types