Byte-operator lowering: support structs containing bit-fields

This removes the constraint on aligned member accesses. Includes factoring out
of unpack_struct to avoid growing the size of unpack_rec even further.

Author: tautschnig