Add an optimization for defining non-translatable types.

- New generic function on types: TRANSLATE-P.  This is true for all types
  except built-in foreign types and typedefs defined non-translatable.
- Incompatible change: DEFCTYPE now accepts keyword arguments :TRANSLATE-P
  and :DOCUMENTATION instead of an optional docstring.
- Define the standard integers types as non-translatable.