better type info in alloy to avoid errors for NAT