Baby's first type checker (by azhenley) — discussion

#plt