Fix: add some more type-hinting for static code analysis
New: introduce VagrantVmDetails to help the static code analysis
New: introduce VagrantVmDetails to help the static code analysis