added Types.as and Set