Hide annotations from public
Ensure compilation output is cleaned after error
Add tests for traits
Prevent errors on missing constructor
Add checking for traits
Merge branch 'feat/traits'
Bump project version to 0.5.1
Remove useless `example` test
Add a test for checking inherited methods
A bit more detailed scaladoc for tree matching
Check superclass constructors