Update SLL design.
Added "x is a y" and modified  existing SLL phrases to admit type inheritance instead of requiring exact object matches.