pattern matching works
new bootstrap
support for || and && in pattern matching
bootstrap was empty; oops
halfway translated bootstrap to use pattern matching
bootstrap checkpoint
conversion done