Is it possible to express something similar to linear types, using the contract system?