Syntax definition csitm

Description: Extend class notation with the integral metric for simple functions.

	Ref	Expression
Assertion	csitm	class sitm