add operator overloading for any, cat and quotation
small tweaks