more additions
change invariant back to expression
add fixfoxi grammar
fixed output