Implement general predicate/func/specialform/macro mechanism.
Fix a bug in verification process of 'Is' predicate.
Fix a bug in new of 'ValuePredicate'.
Change a way to create a string from predicates and functions.
Change string format generated by 'toString' method.