add code from the second meeting

call/fresh, conj, disj, mplus and bind.