function leancase(value: string): string & Brand<"Leancased">;