initial attempt at aspect-oriented declarative spec, module-layer input/output schema validation