Use system file path separator.
Separate pure and impure functions.

 * Pure functions use the "thin arrow" ('->')

 * Impure functions use the "fat arrow" ('=>')

 * A composition is impure if either function is impure.
Add a mechanism for unsafe calls.