Types within SHARS