Update flush spec
Remove Proxy (it was moved to rom-relation)