Revert "Remove overly verbose annotations that can be inferrred"

This reverts commit 2de80a14a89eb2dae73056017a6ffd7684aaf1fd.
mfa() type is {atom(), atom(), arity()}, not {atom(), atom(), [term()]}.
Capabilities can be two-tuples as well as atoms.
get_vnode/3 is used to start the vnode, ignore-match the result.
Give a name to that big resize transfers type.

I assumed node() was the embedded type here, and dialyzer hasn't
complained. Please advise if that is incorrect.