Add some useful type references in TypeSystem