Does not try to debug module bindings

A very minor release addressing a pain point: module arguments often require type annotations, but cannot be logged by the sexp derivers.