convertRef :: M -> Ref
convertRef (M [] (R (RVar x (A bindings _)) args)) =
           RefApp x (zipWith convertObj (map (bindTy . convertHypothesis) bindings) args)
convertRef :: M -> Ref
convertRef (M [] (R (RVar x (A bindings _)) args)) =
           RefApp x (zipWith convertObj (map (bindTy . convertHypothesis) bindings) args)
convertRef (M [] (R (RVar x (A bindings _)) args)) =
           RefApp x (zipWith convertObj (map (bindTy . convertHypothesis) bindings) args)