The Balsa synthesis system