Types within Versilift