vim syntax plugin of CPL (Categorical Programming Language)