GH #4 working on typeclass instances; checkpoint
GH #4 checkpoint on typeclassification
GH #4 adding implicits for typeclasses
GH #4 added necessary typenoise; checkpoint
GH #4 testing specialization in trait inheritance
IS #4: Moving toward typeclass pattern for ad hoc polymorphism
IS #4: more refactoring, cleaning the API
IS #4 finish getting rid of explicit dynamic dispatch