Simply stlc sym for now
Further reduce amount of boxing
Add syntax for eff lang