More contracts

You can check out more (mostly uncommented) examples on the repository.