Implemented conversion from FIBO RIF to the MarkLogic rule language

FYI the implementation for upcoming MarkLogic rules format. I also implemented translation of the axioms/constants.