PE with a simpler typing system where well-formedness is incorporated