Added simple inductive types for the syntax of RT-Imp