Types within ROCKSMART