Make static if work with templates; passthrough IsMangled
make tuple errors better