Added Empty type to sast.ml to represent empty list
Added lots of pattern matching checks, and a few tests that should fail