semantic: Add effectivelyConst function.
semantic: check for const when incrementing/decrementing in typer.