multi level evaluations, type matching