Replaces a def with a val. Requires that all type arguments be expanded and all term arguments be sequenced