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