Update types example to use requires #14
Update types example to use requires #14

The types example has been updated to use requires in a few places
instead of "if".  Currently, this does not compile --- see #24

Whiley/WhileyRewriteLanguage