Added Simple Type system foundation
Fix test case
Re-implement "Show a" for Expr type
Merge branch 'types'
Added Travis CI file