The new type inference system is beginning to work.