generation of checked types added

Signed-off-by: Thomas Schubert <funthomas424242@gmail.com>