Some seemingly similar concepts (e.g. `isList` and `isStack`) use slightly different notation (as identified by @dlesbre ). It would be good to identify all such cases, and make the notation uniform across all similar concepts.
Some seemingly similar concepts (e.g.
isListandisStack) use slightly different notation (as identified by @dlesbre ).It would be good to identify all such cases, and make the notation uniform across all similar concepts.