The built in Guards, which implement E's variable "declaration" and return type "declaration".

@author Mark S. Miller