rene tassy: expr type checker implemented and tested