Implement typeclasses for analysis and backend state

[LefterisJP]

At the moment typeclasses are only parsable but not used at all from the analysis stage and forward. Utilize them and do the proper typechecking and backend code generation.