Hayakawa's Abstraction Ladder