EPL type system