New module
dropTvars
Another shot at type standardization
constructor application. looking good.
much progress
use letSubstTrivialR
refactor bashWith
comment
remove some tracings; pass wild w/o encoding
Standardize
test tweaks