By "three different kinds of code" are you referring to the Domain, Substance, and Style DSLs of the original Penrose? Just to clarify, Bloom is an alternative

By "three different kinds of code" are you referring to the Domain, Substance, and Style DSLs of the original Penrose? Just to clarify, Bloom is an alternative to those DSLs, only requiring you to write in one language (JavaScript, or TypeScript if you prefer).