New function enter/exit log + ctx creation on entry

Cleaner enter and exit inside of function definition instead of around function calls. Needs exits before all returns by pulling out return value to other variable.
Context created on entry to a function. This mode of singly named context is incorrect (Discussed with Arthur) and will need changing eventually.