Chain higher order Fun types

Adds the ability compose a unary function with a higher order function if both are in Fun ts r representation