Add error printout for missing case
Don't share above lambdas
Update test cases
Force cabal update
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.