Add check for mutable variables and disallow changing them, either through reassigning (shadowing is allowed if we define a new variable) or through a function cal which requires self to be mutable.