because bf is np complete, as is simply typed lc.

Do you mean turing complete?