Else for typeswitch
Some additional tests