alloy-proxy-fd-1.0.0: Some add-on instances for the Alloy library