Fix all NYI

It's undoubtedly wrong in places, and it still assumes that everything
succeeds, but everything is (theoretically) implemented!