feat(Analysis/Calculus/FwdFDerivRestrict): Add `simproc` for domain restriction with `fwdFDeriv`

This PR adds a simproc for restricting the domain when computing `fwdFDeriv`. Co-authored-by: Tomáš Skřivan [skrivantomas@gmail.com](mailto:skrivantomas@gmail.com).