Runs whnf on Brazil-Style handler types
Renamed type/Type to Type/QuasiType