constraint based music generation language