typechecker: some work on tvlower