Changes to Type System (forall type) and KindSignatures