Add some more tests
Added basic if & failing if tests
Clean up some tests a bit
Removed old match construct (will be re-introduced later)
Basic union type