First symbolic intermediate representation - InterL-S

Summary
Second symbolic intermediate representation - InterL-S