Can anybody explain how a Metagraph in Scala compiles to the Consensus Topos? Scala is just one way of representing functions and types. So is the Scala code then analyzed and...