test match tools typechecks