Added transformation of no-dummy-args -> []
Fixed for SubprogramPart rather than subprogram-part and no-language-binding -> OfpSuffix([])
Several changes to bring up to date with Main.sdf