model/new: [experimental] binder declarations for Model.