[ language ext ] Adding nats and large elimination