typo fix
wrapped long line
more inlining; move liftedKind & friends to TypeEncode
specialize type of AddP
export HasLambda
MuxCat, Int literals
-fprint-explicit-foralls, but commented out
OnlyLifted ; "Translate" --> "Transform", reifyMethod
Tightened type of (+@)
traversal tweak ; type encoding now in reify-misc (for after inlining)
simplify invocation ; example tweaks
simplify invocation
-j1
script to run example from Simple
comment about resume vs not
no Classes for now