[Grace-core] [Minigrace] type issues in minigrace

[James Noble]

> There should only be one way of interpreting
> 	type T = {apply: Number->Number}

Isn't this a syntax error? 

> and it should be an object type with method named apply, that goes from numbers to numbers.  If necessary we should change the syntax so that happens.

type T = {apply(_ : Number) -> Number}

> Michael, can you tell us the other interpretations and perhaps make suggestions on the syntax or even just the grammar that will avoid the problem?

or am I missing something? 

James