RankN type checker now covers all expressions.