WIP on parametricity (Typechecker doesn't compile)