semantic: Resolve default arguments into Constants.