Adding a new contract and making some interface properties read only