improve BfSpec.hs, BfprimSpec.hs: use camelCase