Modelling Biochemical Operations on RNA Secondary Structures