An extension of the BF language.