Worked on type system; broke something weird.