SYNthetic BIOlogical sysTems: from desIgn to Compilation