Unified grammar in Program.pm modulo two injections