Built in funcs

@lileicc 

Work in progress. Take a look and let me know if the format is what you had in mind.

Should we provide type signatures for all builtin functions? Seems painful. Would be much better to extract that from the blog code instead of writing it by hand.