Typing.ml and TTests