[Nickle]Type names

[Keith Packard]

Around 0 o'clock on Feb 23, Barton C Massey wrote:
> Of course you get a vote.  My vote is "none of the above": I
> haven't given up yet on something less horrible.  I'll try
> to grub around in the innards this weekend unless somebody
> beats me to it...  My second choice would be a leading ".",
> which currently has no meaning AFAIK and is fairly
> unobtrusive at least.

You can use:

	. 	,	^	:	|	@	%	_	?

"_" has the advantage that it's currently allowed in the middle of 
identifiers but not at the begining, "." is so unobtrusive as to be lost
occaisionally, perhaps ':' or '|' would be better?  I don't like '@' or 
'%', those seem likely to obscure the typename a bit.

-keith