Added MVPF mode to the cplus2asp wrapper program.
Added the ability to use basic laws of the for "F <- G [where H]" which is shorthand for "caused F if G where H".
Added support for the MVPF language which enforces that each constant is rigid.
Restricted causes, may cause, increments, and decrements laws to have a single causing action (required to prevent parsing conflicts).