Add CheckedDiv to vim syntax