Were Bohemus and haereticus used as synonymous designations?