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?
You can change any aspect of Bitcoin by doing a hard fork. So you could also introduce a scripting language that is more powerful than the current Bitcoin script.