1.0.47.3: better DEFSTRUCT constructor type declarations

1.0.47.3: better DEFSTRUCT constructor type declarations

  Lift the argument types into the FTYPE declarations, instead
  of just having them internal to the constructor functions.

  Prior to this the declared type of MAKE-FOO after

    (DEFSTRUCT FOO (X 0.0 :TYPE SINGLE-FLOAT) (Y))

  was (FUNCTION * (VALUES FOO &OPTIONAL)), after this it
  becomes

   (FUNCTION (&KEY (:X SINGLE-FLOAT) (:Y T)) (VALUES FOO &OPTIONAL))

  as appropriate -- allowing types to propagate better, and providing
  warnings for signature mismatches even if the constructor is not
  inlined.

  Also fix whitespace damage in ntrace.lisp.