Modules

declarative parameter and return type checking
conditional role composition