Added function signature declarations

User can now declare the signature of a (monomorphic) function and use it in expressions

Initial release

Initial release, with support to run files and a REPL