On Logical Extrapolation for Mazes with Recurrent and Implicit Networks