Add support for optional arbitrary arguments to synth defs

- fix some style issues