Preliminary support for polymorphic properties.

For now, we naively instantiate type quantifications to nat. This cannot be done
using an Arbitrary instance because we don't handle dependent types yet.