fix: Make FuncExtensions internal again, handle it in DafnyGeneratedFromDafnyPost.py instead

fix: Make FuncExtensions internal again, handle it in DafnyGeneratedFromDafnyPost.py instead #3638