The Triguarded Fragment with Transitivity