refresh initial examples
formalize the relationship between inheritance and subtyping by
introducing a semi-cryptic syntax, this fixing a problem that has
bothered me for years