rename "environment" to "signature" in the hol semantics

might not have caught every instance...