Minor tweaks to the types example.  It's actually working quite well.:	q
Minor tweaks to the types example.  It's actually working quite well.:	q

hjwylde/whiley-compiler,Whiley/WhileyCompiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler