Start implementation of freshening.
Start implementation of freshening.

    Note, we should use the correct bindings. We currently create
    a new generic for every instance of the typaram, even if it's
    not unique. This is broken, but it's worth a commit.

oridb/mc,oridb/mc,oridb/mc,oridb/mc,8l/myrddin,8l/myrddin