Implement parsing of isa expressions
Implement parsing of isa patterns