Modified Class Types of Non-terminals