Nominal and Structural Subtyping in Pony | Hacker News Reader