[WIP] Add support for class member variable

I've submitted this PR as WIP to get feedback, **the code does not work for now**

I am looking for:
- feedback on the implemenation,
- how to debug (currently I'm doing make + node debug which is not the most user friendly workflow),
- what kind of test should be added.

/cc @arv 

TODO:
- [ ] address feedback
- [x] writer: annotations
- [ ] assert type for all binary =

What is the `internalName` at this point ? (the tree does not have such a property)