Type checking is coming along nicely