introduce ASSUME(<level>,<int expr>)

Conflicts:
	Singular/ipshell.h
chg: grammar for ASSUME
doc: ASSUME