syntax Ops0 sealings missed in 4278e83a5a61e41302c319a9ccc78e58f444a310, somehow.
Make DList a final class.
Make \/ a class.
Make Leibniz & Liskov sealed classes.
Missing explicit types.