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

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.