FWIW, http://skiplang.com/docs/type_definitions.html http://skiplang.com/docs/type_definitions.html says "A class can define a type, and later redefine it in on

FWIW, http://skiplang.com/docs/type_definitions.html http://skiplang.com/docs/type_definitions.html says "A class can define a type, and later redefine it in on of [sic] it's children." Thanks for sharing your work.