SPT module initialization basic
fixup: remove tabs
Add code SPT init code to desugarer
fixup! SPT module initialization basic