added the :procedure kind of Fun
bugfix: mergind field options was incorrect
partial instance for seq_filtering
some relevant alloy models