﻿A->{ X: F }
###
A+>{ X: F }
###
// No longer supported.
A+>{+ X: F }
###
A->&{ X: F }
###
A+>&{ X: F }
###
// No longer supported.
A->&{+ X: F }
###
// No longer supported.
A+>&{+ X: F }
###
A->(F)
###
A+>(F)
###
A->&(F)
###
A+>&(F)
###
A->(F,)
###
A+>(F,)
###
A->&(F,)
###
A+>&(F,)
###
A->(F, G)
###
A+>(F, G)
###
A->&(F, G)
###
A+>&(F, G)
###
A->&X
###
A+>&X
###
A->&X(Y)
###
A+>&X(Y)
###
A->_(Y)
###
A->&(A, B,
###
A+>F()
###
A->(X | _ + 2)
###
C->If(T,F)
###
C->'if'(T,F)
###
C->if(T,F)
###
C->_(T,F)
