The built in Guards, which implement E's variable "declaration" and return type "declaration".
@author Mark S. Miller