Module statement 

Structs

MayAbility

ReplacableImperatives

Replacable imperatives are a list of imperatives that can be replaced by another list if some condition is met.

Enums

Statement

Fixme: doc