How's the work on a type checker coming along?