Support types for variables, arguments and return values

WWW: https://github.com/moodymudskipper/typed
