Move formula resources to SoftwareSpec
Track initialized specs
Make resources declared at top-level apply to all specs
Make spec-scoped resources override top-level resources