Types within SIMASV