Allow recipes that take parameters to be used as dependencies.
Clean up scope handling by introducing `Binding` and `Scope` objects.
Make analysis resolve recipe dependencies from names (`Name`) to recipes (`Rc<Recipe>`), to give type-level certainty that resolution was performed correctly and remove the need to look up dependencies on run.
