Fix bug in typing of condact expressions (due to tuples)