Initial paper version.
Merge branch 'paper'

Conflicts:
	groupoid_interpretation.v
	groupoid_interpretation_def.v
	groupoid_utility.v