remove redundant code
use absolut path insted of opening the module
use recursion when constructing Of types
test function type parameters with multiple type parameters
remove unnecessary if else
add is_of_type function and use it instead of pattern matching
remove unnecessary check
add unification tests
improve some comments
handle TLazy and TMono in is_in_type and is_of_type
handle variance of Of-types
uncomment small test for variance unification of types
more unification/variance tests
Merge pull request #21 from frabbit/higher_kinded_types

higher kinded types Fixes reapplied