documentation and comments for -ffun-to-thunk and -flate-dmd-anal