attempt to add byte arrays to ml_heapTheory

got it to build, but might be totally wrong.