Moving all packages one up
Adding tests for traits
Delete unused imports
Adding new test
New example
Merge branch 'master' into monads