load F

same  as  consult,  except  unloads F first, i.e.  prevents redefinition of
procedures.  It shouldn't matter if F had not been consulted previously.

