Types within RO-TAP