Add missing kind flags
Simple pattern matching
Simple pattern matching on term values.