Remove out? from type->contract.

The intermediate commit is to show how I tested it, everything passes with that commit which shows that this is a noop.