Second symbolic intermediate representation - InterL-S

Summary
First symbolic intermediate representation - InterL-S