Add "switch" control structure signature checker

Fix #28