fix bug
modify extractor so that it can handle symbols in each test in case expressions
add tests for extraction, as part of #5

completed for all syntax but deftype*