Slightly better (and configurable) highlight colours around errors and warnings.  Add a command to insert a type annotation for the symbol at the cursor.