Add support for typeclasses

[samvv]

Closing this issue for now as basic type classes were implemented about a week ago. Separate issues will track the progress of individual components.