Clean up the Arbitrary instances a bit. Don't enumerate a list of all values.
Add stub of specification parser.
Add note that we need to ensure consts will fit inside specified bulitin.