Fixed a tiny bug and discovered a huge problem (in design/). Blocks as line-lists end up violating the string/list homomorphism.