modal-types-tools