Document the lack of recursive substitution [#171]