Switching variables in topLevelConsts test case

If we allow sharing in expressions of function type, this example will now
result in a let binding between the two top-level lambdas.