Add dtype for arguments

[yinleon]

We might want to consider explicit datatypes for each parameter.
This issue arose from overlooking this:
#17
Like this:

def func(a:int, b:int) -> int:
    return a + b