確かにそういう制限付きになることもありえるね。既存の＃始まりの言語仕様を置き換える、って話があるから #function が実装できる外側のfunctionまでの構造が渡される、っていうのが一番厳しい制限かなあ。