Lambda done without Ty.
Cheating on Prim equality for now.
Try restricting the types of literals.
unsafeEq
dropped Ty
var# and friends
export tweaks (in progress)
var# and friends, now without Ty arguments
Collapse Eq1' and Eq2' into Eq'. (==?)
Replace FalseL and TrueL with BoolL
Updated tests for new Lambda interface
no more Ty
export V(..)
getting there
Update example output. All looks good.
Proofs of Show and IsSourceP for Lit (Dict constructions)
tidied
litSS via product constraint (one dictionary)
remove last Ty use; #if-trim code; trim imports.
comment out cond & (|||)for now
PatternGuards
clean-up git-status noise