Types within AIR