Ruler Tool for Type Rules ariem@cs.uu.nl