Mode analysis IFree now tracks aliasedness

Part of the quest for backward chaining
Progress towards non-ground planning
Make InstF parametric in IFree annotation

Chase changes around the codebase.
This allows us to avoid making the decision in the parser, which uses ()
for the IFree annotation type.

Conflicts:
	src/Dyna/Analysis/Mode/Execution/FunctionsNoAlias.hs
	src/Dyna/Analysis/Mode/Inst.hs