Add exporting Symbol to Preludes.