Also adds implicit conversion configuration option to Type constructor,
and institutes a numbers-only bundle, and supports argument matching
with implicit conversions.
Still need to test that a behavior that invokes implicit conversion ends up
with the conversion operation as a dependency (and so regenerates itself if
the conversion changes).
