The life of Richard Rolle, together with an edition of his English lyrics (now for the first time published)