Avoid name conflicts.

import Prelude hiding (exp)
id -> ident, funId, aId
argId -> aId
argType -> aType
e -> err
Use _ when a pattern binding is unused.
Add -fno-warn-missing-signatures to ghc-options.

Don't warn "Top-level binding with no type signature"