Type classes draft
Minimal implementation/proof of concept of type classes
Completing most type class implementation, working out remaining kinks
Completing type classes