Support isA (multimethod/caseOf) on built in objects
Add more data pattern test, simplify algebra