Idea on legitimating wrapper-notation allowing it on specs. Idea on export. Noisely corrections.