This is pretty incredible and playful. Probability and state would be fascinating; I wonder if this wouldn't be best achieved by having 'Type' actually be thoug

This is pretty incredible and playful. Probability and state would be fascinating; I wonder if this wouldn't be best achieved by having 'Type' actually be thought of as 'Attribute', so you could have a "beautiful(simple(plant)))" turn into "dead(simple(plant)))", having the attribute itself perform as a state.