Latte: fixed depth counting in MacroTokens