added documentation for the rule based translator
added constructing macros and functions ex and ex* are for implicit quoting and ex' and ex'* are fore explicit quoting
added apply-syntactic-rule