Implement executable FFI for :foreign python declarations.
Current state:
declForeign.declForeign and emits spec-only stubs unless λ exists.Required behavior:
1. Emit.emitDecl must generate runnable Python from declForeign when target is python.
2. Define precedence/validation when both λ and :foreign are present:
3. Unsupported foreign target languages must produce clear compile/check diagnostics (not silent stubs). 4. Keep existing non-FFI behavior unchanged.
Suggested implementation notes:
declForeign = Just ("python", code).code, ensure function signature params (_in, _in1, etc.) are accessible.Tests:
Acceptance:
NotImplementedError now emits runnable Python and behaves as expected.