Refinement
More work with generics
Adds traits
Now binds to classes
More work on traits
Bug fixes, tests
initial work on typeclasses
Somewhat working implicit system!
compat
Merge branch 'master' of github.com:Refefer/ptype