wip fix too restrictive check in tuple tree shape
wip embarrassing omission
wip for loops work after typer!