Added BasicType and its subtypes.

Updated Type to include isBasic, etc. checks.