Fixes map:
Fixes typo.
Fixes ADT construction (was broken due to contracts.)
Fixes Equality implementation for String.
Returns Nothing so we don't risk introducing undefined in Phemme code.
Requires main(List?) to return a Task?
Initial work on IO libraries.