Make auto-complete appear less often
Use NameImport in the CodeContracts plugin.
Reorganize the Contracts Library test for easier demonstration
Change the style of type arguments.
Fix how Reference expressions with generic arguments are shown
Add a default icon style for the method call as keyword visualization
Make DeclarativeItems have their own style
Fix region and cursors generation for VLists
Improve the CodeContracts Demo
Fix a spelling mistake in a method name
Ise declarative item for VFormalArgument and add an out-parameter icon
Cleanup code