More work on new type system for EPL, still some more to go