adding operators and constraints basic architecture