Automatic conversion of Stream.tex to Pillar