chg: option(warn): warn if def is used to much

Conflicts:
	Singular/ipshell.cc