Added some contract fns and process label should be a literal
Added functions, and some tests for the functions