Allow optional type annotations for function arguments and return value

[ikskuh]

Think about this:

function SumOf(a: number, b: number): number 
{
    return a + b;
}

This depends on #22, as otherwise the type annotation would not make sense.