Mutable Graphs + fixed Plantain model -- fixes #195

This implements the solution discussed in #195.

I had to fix the mess in the Plantain models to make that work... No "common" code in that version between the two models. Introducing type variables was making impossible to introspect the type. Also squizzed improvements in plantain-jvm where nodes and literals now use native types when possible.