Added tests for blame object source locations being srcloc structs.
Add error checking to ensure blame-source produces a srcloc? as documented.
Fix Struct-Type-Property.

Closes PR 13593.
Typecheck (lambda args body) as (arg1 -> result).
adjust contract library to call raise-argument-error instead of error

and a few other changes nearby to clean up various things

closes PR 13623