Programs in Befang: Modele