Module prelude

A prelude for conveniently writing platform-specific code.

Includes all extension traits, and some important type definitions.