fix for completion which failed when trying to obtain a name from a value definition
Added new overture feature "QuickFix" for adding standard libraries to vdm project with has error markers indicating that these may be missing. close #316