Reduce binder formats; implement `initial` argument for binders