Updated code to match remove; added FX10 operational semantics.
Updated code to match remove; added FX10 operational semantics.

cogumbreiro/habanero-coq,cogumbreiro/hj-coq,cogumbreiro/habanero-coq,cogumbreiro/habanero-coq