lower-case uncapitalised analphabetical typesafe pseudonymised multi-byte lowcost miniscule turing-complete non-transferable