Changed marginalize and maximize to work with the same interface; changed pull push to work with functions