Question: What type of programming language was created by Tony Hoare and can be seen implemented in the Elliot ALGOL complier? 
Sentence (from "ALGOL N"): It avoided coercion while not making things difficult for programmers.
Relevant evidence: No