Types to files
Simple expression printing