Change case-reduce to be simpler and not do let-subst.

Signed-off-by: Andrew Farmer <anfarmer@ku.edu>
Fixed bug in case-reduce related to constructor workers versus wrappers.

Signed-off-by: Andrew Farmer <anfarmer@ku.edu>
Add case-reduce-literal