Document faithful.return and faithful.throw.