fix BfSpec.hs: import Bfprim