readble variable names
resolve/2 to not take Java VM reference explicitly
rename to supertypes_of_type_constructor/2
add PPair hierarchy
add is_instance/3
add is_empty/2
add copyright to type-checker-test.kt
use type-checker-test.kt provided with this repository
type_to_functor/2 and pretty print of JetTypes