Create tests for failing type checks

[turion]

There could be a test for functions that should not typecheck. For example:

@spec foo(:foo | :bar) :: :foo
def foo(:foo) do
  :foo
end

This fails because the :bar case isn't matched, which is awesome. It would be great if it was possible to add this to to the tests so it isn't accidentally broken.