incorporated card constructor functions and quickcheck testing