Free bifunctors, biapplicative operational programs