Remove PatternMatch; will replace in a few minutes with Match.jl