Make "invisibility" and "undumpability" properties of variables.

Previously, these were magical things that we detected by checking
whether a variable's name was prefixed with two or three underscores.