Specification type checker in progress