Cat 0.14.0 released

The latest version of the Cat programming language has been released. Looks like the static type checker is coming along nicely.