warn on backtracking

- this should be configurable
bug fix to TypedFoldApp.