Write papers for bounds and keywords, and deferred constants as kind and rank

[everythingfunctional]

Thank you @arjenmarkusdeltaresnl for pointing out the mistakes, and @tclune for the clever joke :stuck_out_tongue_closed_eyes: