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.