Implementation extensions

JAE TODO: This whole section is TBD, and may go away

husk-scheme online documentation rev 3.2 (2021.03.04)