more space in the session types list