Lobsters: Bidirectional Typechecking That Does Not Stop