toCCCTerm'
eval & reify inlining & rewriting tweaks
drop explicit reify/eval optimization, leaving to rules; tryR for final simplifyR