Implement WeightedBranches cost model

This cost model penalizes outer branches. Branches lose their weight as
the nesting increases. LetDefs are assumed recursive and account for a
static number of branches, 2.