Add apply_dynamic to FuncDecl #570

Job	Run time
build_on_wasm	36m 22s
build (macos-latest)	28s
build_with_vcpkg_installed_z3 (linux)	29m 28s
build (ubuntu-latest)	30s
build_with_bundled_z3 (linux)	17m 13s
build_with_vcpkg_installed_z3 (macos)	13m 1s
check-formatting	4s
build_with_bundled_z3 (macos)	12m 49s
build_with_vcpkg_installed_z3 (windows)	44m 37s
build_with_bundled_z3 (windows)	20m 21s
run_clippy	26s
	2h 55m 19s

Provide feedback