make bootstrap definitions available in test generators
In @property-test-generator
definitions currently only definitions/imports exported in the dcl can be used. Making it possible to use imports/definitions from @property-bootstrap
avoids exporting things only used for testing.