Another alternative (almost said option) would be to refer to the populated options as module "parameters"... in fact, we have a similar naming issue to consider in the runtime Module instances (e.g. SimpleModule) where currently there are "properties" (for the option values) and "deploymentProperties".