Usability

some typclasses and common methods would really simplify the java-usage-finder.

- hasType typeclass
- type comparisons, strict and non-strict, including handling of primitives
- documentation
- i am probably missing a lot