> We have always agreed that a natural language compiler is theoretically possible.

No. Nobody here except you agrees with this. The distinction between natural languages and formal languages exists for a reason.