Work on inferring types for function arguments and return

[selenesal]

Program should be able to infer the type of the function's parameters and return type so that users do not need to specify them. Likewise, literals should be able to be inferred as well in most cases.