extra caveats for scoping
mention implicit type conversion for arithmetic ops