added structural normaliser
	modified:   BigStepSemantics.agda
	new file:   StructuralNormaliser.agda
	modified:   Utils.agda