Type spec: Logging vnode

Started with fixing the type specs. Dialyzer doesn’t give a warning any
more.
However, the types can be further refined.