Fixed case class specialization issue

Closes #13
Avoid <synthetic> method duplication
Testing the miniboxed case class