Title: The design and implementation of a specification language type checker