types2: fix bug in ETuple inference and add test showing bug with lower bounds of EAssign