Changed examples from classes to traits, so they can be easily merged together
Added twelf-like printing
Added simple expressions example
Improved syntax sugar for application
Slightly improved type error information for undefined constants
Allows to bind variables to families in the Pi terms
Added generic lists examples