Algebraic Theory Of Type-And-Effect Systems