what kind of telescope is safir?
(AND astronomy.telescope_type (JOIN astronomy.telescope_type.telescopes_of_this_type m.0w7myr2))