tests for flags
start respecting flags
start using flags in the search strategy
flag for allowing negative floats
alternating types have flags which may be turned off so as to restrict which types are actually produced in practice