treat binary operators as function calls
sketching out ideas for analyser/type system