[markvangulik]

Just to whet your appetite, consider this:

Method "_plus_" is [ a : number, b : number | a + b ]:number;

Print: 5 plus 6;

The entire language is built this way.