Reduce the need to provide output type to functions

[EpsilonPrime]

Always providing an output type to functions is cumbersome and reduces readability. Investigate using stronger function definitions (such as equal always returning bool if the inputs are non-null) and intelligent defaults (such as add of two like types always returning the same type if not overridden). Override will still be possible and if they are needed they could raise a warning during parsing.