Fin TypeChecker