Some notes and test cases for inductive type families
Tests for T3927
Tests and debugging dumps for T9157
Stuff for RebindableSyntax for arrows
Update .gitignore