Missing trigonometry ops

We mentioned the possible creation of a math dialect here: [RFC] Splitting the Standard dialect ; are you interested in getting this started?