add contracts as a pyret test file