Burst of productivity whee. Mysterious bugs in weak head normalization still.