Fix erroneous type assertion
Add stubs and fixups to impersonator predicates
Improve tostring for procedures and cleanup
Fixup issue with callable structs when the procedure is inherited from a super type
Also fix behaviour of callable structs to match Racket
Add test for inherited procedure fields in structs