work on #2761 and fix the return type of caseTypes
work on #2761 and fix the return type of caseTypes

gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon