> I feel like you're being sassy with me I am honestly not. Please don't read too much into my tone, English is not my native language. It actually wasn't cle

> I feel like you're being sassy with me I am honestly not. Please don't read too much into my tone, English is not my native language. It actually wasn't clear why you've mentioned types theory initially, the semantics of "expressive types" confused me a bit, but I upvoted your latter post where you elaborated.