previously undocumented features.

Packages and the import mechanism in general are still left
undocumented.