minor updates to manual
fix inlining of union types
allow coercions to be specified as a string of code
document stringy coercion codes