Errors with interface names containing types

[Zash]

Consider the following interface:

interface thing
end

interface stringthinger
	thingify : (string) -> (thing)
end

stuff : stringthinger

Running tlc on a file containing require"things".stuff.thingify("Hello"); gives:

test.tl:1:1: type error, ./things.tld:9:1: syntax error, unexpected 'EOF', expecting ':'
require"things".stuff.thingify("Hello");
^

Renaming the interface to eg _stringthinger makes the error go away.

Noticed while writing type definitions involving a stringprep binding.