Added a (witheachtype ...) UserAction and changed (define ...), all so that it would be possible to use parametric-polymorphic type parameters when instantiating polymorphic imports.