Typeclass Inheritance

[re-xyr]

Basically,

• Use the same underlying structure as record inheritance
• Auto search for the inherited typeclass's instance, hint user to give manually when >1 instances exist
• Also introducing the parent typeclass instance into scope when child typeclass instance is in scope (e.g. Functor available when Applicative in scope)