implemented SIf
Merge branch 'mat_dev' of https://github.com/Maruf789/PLT into mat_dev

Conflicts:
	src/translate.ml