BNF to separate file + minor readme update