librumur: implement types on expressions

This neatly cuts the enum problem by allowing us to associate an enum member
(now ExprID) with the type representing the enum itself.