added types for remaining restriction types to the parser and the IR