genlib/coding.py: binary vs. one-hot, priority coding