a simpler typing system where well-formedness is incorporated