A git copy of the Z-notation type-checker originally written by Mike Spivey