Some minor code cleanup & documentation
Adding effect checking support for return statements of functions that
return references (+ test in point.cpp)