A type checker for MIT Proto