It's also worth noting that although some restrictions are definitive (like the one to prevent changing the type of a variable after it has been defined), others, (like the one restricting the current use of `f-strings`) are merely due to the state of the implementation.