✨ Support multiple functions

[denialhaag]

Currently, our builders and conversions can only handle a single main function. To support more arbitrary programs, we should extend this. An initial implementation can be found in #1396.