Having a tidy up of code
Compile result now includes in-args
type-spec->type now handles keyword types