Fix annotations
Add more annotations and TypeScriptness to VM