Reified: added Generic/Dynamic type that should allow ultimate Numeric-style genericity (a la C++ templates), with type unions and all
Reified: fixed + tested example integrator