"def" in error messages about FunctionType/Callable etc is confusing

[DetachHead]

bar: Callable[[], None]
foo: FunctionType[[], None] = bar

Incompatible types in assignment (expression has type "() -> None", variable has type "def () -> None")

the situation with these types is already confusing enough, and this error message just adds to the confusion. it should just show the type names as they are defined:

Incompatible types in assignment (expression has type "Callable[[], None]", variable has type "FunctionType[[], None]")

or if you wanna keep the based syntax:

Incompatible types in assignment (expression has type "Callable[() -> None]", variable has type "FunctionType[() -> None]")