Add return type checking support to SRFI 253

Artyom Bologovrequested to merge
aartaka/Kawa:srfi-253-return-type into master

This is in preparation to SRFI 253 follow-up SRFI, as the feature destined to appear there.

Merge request reports