warning -> error, instructions for *idris-notes*; clean and dirty fiddli...

...ng