Implementation of super classes

Not quite ready to go; I just wanted to submit a PR to see what people think so far.

Some things left to do:

- [ ] All implied members are defined (somewhere) when creating an instance
- [ ] Let someone choose the syntax
- [ ] Start changing the standard library to see how it could work