Lift the type test from runtime to compile-time
Merge pull request #34 from fthomas/typeEquals

Lift the type test from runtime to compile-time