Added some very basic Type Abbreviations to the Figure1 and checksum samples.  They are not very expressive but show the basic functionality.  They will be expanded on soon.
Merge branch 'scalaness' of git://github.com/pchapin/scala into scalaness