implemented composition of explicit functions (frozenset of tuples) and symbloic lambda functions
+ tests of special cases