The random type prop (rtp) tests encode information about what types are allowed as arguments to built-in functions. This information could be pulled out into a more declarative form, so it could be used elsewhere (for example, when generating random inputs to the compiler it could be used to generate more type-correct code.)