Add explanatory comments at the top of SpecialLinear.hs