Tweak notation
Turn RECURSIVE into INTERNAL_RECURSIVE and clarify use