Fix: Add missing Let rules for Type AG