Move BFProg defs from Exec to Lang
Split BFMachine into Machine