Streams: don't untypecheck trees in macro