Types within UNISIG