Definitions for Modules in Alpha Done