spec package/module metamodel expressions for #702
add xrefs and clarify