Recognize syntax for locally abstract types.