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.
