Exports in DDSL.Untyped
Export Name from DDSL.Untyped
Added runRewrite
Added force to vector library
Automata-based simplification in Feldspar