Fix various issues

Guy Watsonrequested to merge
reference-edit into reference-experiment
  • Make types be more unified in type rules.
  • Connect parameters to type in fresh.

Merge request reports