Nullary function application does not get proper type

[ngeiswei]

What is your problem?

Calling get-type on a nullary function application returns empty.

How to reproduce your problem?

Run the following MeTTa code with MeTTaLog

(: foo (-> Number))
!(get-type (foo))

What should normally be expected?

[Number]

What do you get instead?

[]

What else do you have to say?

• !(get-type foo) outputs the correct type, thus the problem is specifically with (foo).
• Tested on revision 225d221.