I deal with Bitcoin Script and its opportunities.
Can stack-based language Bitcoin Script be transformed in a turing complete language by doing a hard fork in principle?
Does segwit now allow to add a different script language? So i think the answer should be yes.