Simple contracts for PHP