Implemented substitution of symbolic functions into Polynomial types