should default arguments be pure by default?

[lrytz]

right now, argument types are used as-is for default getters, therefore default getters are impure unless there's an @pure annotation:

def f(x: Int = 1)
def g(x: Int @pure = 1)
f() // has unknown effect
g() // pure

maybe we should treat default getters for argument types without effect annotation to be pure