Move impatient code to subdir
Add a copy of Data.Stream from Agda's stdlib 2.3.2
Initial sketching of `MsgStream`s
Add tail-cong to Stream
Add .gitignore for code
Add more comments
Add Idris sketches