haddock parsing fix.
ivory-examples: expose stdlib so we can use ghci.
bounded integers: error if we fromInteger a value that is too large.
ivory-backend: cast all expressions to their given type.
ivory-opts: major refactoring/bug-fixes (didn't analyze all subexpressions).
Add compiler asserts as a separate statement.