How does Mojo's compile-time interpreter work? - Modular