Work on #14, not ready yet
Partial test for #14
Not nested {methods,classes and labeldefs} in spec

Closes #14
-Ycheck:minibox everywhere

A test case is failing, looking into it