Teaching Precise Language Definition