Build fix

The first patch fixes the failure to build described in https://github.com/colah/ImplicitCAD/issues/95

The second fixes another build failure.  I don't understand why ghc will not compile Expr.hs without the type signature on expr0, but it is so.  Adding signatures to top level definitions is probably good practice anyway.

With these two patches, cabal build works for me.