remove resolved TODOs re. visitTupleTypeValue()
rework primitive nodes to include attributes and ports in function sig
key insight WIP