no parameterizer, and get rid of function/method tostring for now
no marks on function apps, just bodies (saves compiled code size)
macros, not functions, to avoid creating srclocs unnecessarily
fix up tests for last few edits