WIP: type checking of assignment to starred expressions