typedef boolean_expression_ptr_t renamed.
Added functional_eval with argument flipped (in accordance to the other eval functions).
Minor changes...