Implement `#[quickcheck]` syntax extension