Tortoise: add a type declaration, for documentation