Typechecker AG is af, maar nog niet (uitgebreid) getest.