Another type checker for Hack