use parameterize instead of setting parameters
add small counter examples to list machine

Also include test cases that show that the counter
examples type check
fix property to actually use Kleene equality (instead
of comparing the output of standard reduction)