Add amb evaluator and basic definitions