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