[Feature-request]: Add Properties for `ERC1155` Contracts

[pcaversaccio]

Describe the desired feature or improvement

I would consider it as a big value-add, if you could add the common property assertions for any EIP-1155-based contracts.