Search the document for "interpreted code"
They expressly forbid it except for "included interpreters" aka javascript.
So hypercard is out of the running.
The way the agreement is written it expressly forbids interpreters. Additionally, corona is mostly compiled (although parts are still in an intermediate format see 16:30 in http://www.mobileorchard.com/corona-easy-to-implement-high-p...)
Unless you reimplement it in JavaScript
>MonoTouch is delivered as a static compiler that turns .NET executables and libraries into native applications. There is no JIT or interpreter shipped with your application, only native code.