Fix equality testing in resultSubsumed
Fix memoisation equality checking
Add classic GLL examples as basic tests