Alternate Definitions for Dilithium

include archived terms