Sorry to bring the keyword discussion up again, but does anyone like "literal"? literal int x = 42; literal y = 43; literal abc = "abc"; A literal would be a typed non-addressable invariant.