Functions

Translation of functions from AST to SAST is now working.  
perfect. (i now remember having that conversation, oops)

you actually don't need to rewrite them though. the translate.ml functions properly interpret literals and type them